منابع مشابه
Layered Environment-Map Impostors for Arbitrary Scenes
This paper presents a new impostor-based approach to accelerate the rendering of very complex static scenes. The scene is partitioned into viewing regions, and a layered impostor representation is precalculated for each of them. An optimal placement of impostor layers guarantees that our representation is indistinguishable from the original geometry. Furthermore the algorithm exploits common gr...
متن کاملA Layered Environment for Reasoning about Action
An intelligent system reasons about--controls, explains, Iearns about--its actions, thereby improving its efforts to achieve goals and function in its environment In order to perform effectively, a system must have knowledge of the actions it can perform, the events and states that can occur, and the relationships among instances of those actions, events, and states. We represent such knowledge...
متن کاملUsing Temporal Reasoning for Genome Map Assembly
Genomic maps are an indispensable tool for molecular biologists; their modelling has to take into account representation as well as computational issues. The algorithmic complexity of the assembly task is already huge and is even made worse when one wishes to deal with inconsistencies and provide generic tools. This work presents an algorithm tackling the assembly problem by using temporal reas...
متن کاملGeometric Reasoning for Map-Based Localization
An essential aspect of map-based navigation is the determination of an agent’s current location based on sensed data from the environment. Formally, this amounts to specifying the current viewpoint in some world model coordinate system. This localization process has two distinct components: one involving the establishment of correspondences between aspects of the sensed data and the map or mode...
متن کاملGoals and Benchmarks for Automated Map Reasoning
Tarski-Givant’s map calculus is briefly reviewed, and a plan of research is outlined aimed at investigating applications of this ground equational formalism in the theorem-proving field. The main goal is to create synergy between first-order predicate calculus and the map calculus. Techniques for translating isolated sentences, as well as entire theories, from first-order logic into map calculu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2001
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)00147-1